/FONT#1=BASL30/FONT#2=BASB30/FONT#3=NGR25/FONT#4=NGR20
␈↓↓␈↓α␈↓β␈↓∧␈↓α␈↓ ¬→STANFORD UNIVERSITY␈↓ ↓H
␈↓β␈↓ ¬_STANFORD, CALIFORNIA 94305␈↓ ↓H
␈↓∧COMPUTER SCIENCE DEPARTMENT␈↓ 
+   Telephone:␈↓ ↓H
␈↓ 
+415-497-4971␈↓ ↓H
␈↓↓␈↓ εαJuly 28, 1975␈↓ ↓H
␈↓ ↓H
␈↓ ↓H
␈↓ ↓H
Dr. Steven Zilles␈↓ ↓H
IBM Dept K-51, Bldg 282␈↓ ↓H
Monterey & Cottle Rd.␈↓ ↓H
San Jose, Cal  95193␈↓ ↓H
␈↓ ↓H
Dear Dr. Zilles:␈↓ ↓H
␈↓ ↓H
␈↓ ↓H
␈↓ ↓H
␈↓ ↓HI␈α⊂wrote␈α⊂your␈α⊂several␈α⊂months␈α⊂ago␈α⊂concerning␈α⊂my␈α⊂interest␈α⊂in␈α⊂your␈α⊂thesis␈α⊂and␈α⊂mentioned␈α∂then␈α∂the␈↓ ↓H
␈↓ ↓Hpossibility␈αthat␈αI␈αmight␈αbe␈αinterested␈αin␈αa␈αposition␈αat␈αIBM.␈αI␈αam␈αcurrently␈αfinishing␈αrevision␈αon␈αmy␈↓ ↓H
␈↓ ↓Hbook␈α
on␈α
data␈α
structures␈α
and␈α
am␈α
definitely␈α
looking␈α
for␈α
a␈α
new␈α
position.␈α
If␈α
you␈α
know␈α
of␈α
openings␈α
in␈α
my␈↓ ↓H
␈↓ ↓Hfields␈α∂of␈α∂interest␈α∂I␈α∂would␈α∞be␈α∞most␈α∞interested␈α∞in␈α∞hearing␈α∞about␈α∞them;␈α∞otherwise␈α∞perhaps␈α∞you␈α∞could␈↓ ↓H
␈↓ ↓Hdirect␈αme␈αor␈αthis␈αletter␈αto␈αother␈αsources␈αat␈αIBM.␈αI␈αam␈α
enclosing␈α
a␈α
reasonably␈α
complete␈α
biography,␈α
the␈↓ ↓H
␈↓ ↓Hsalient␈α
features␈α
of␈α
which␈α
are␈α
expertise␈α
in␈α
at␈α
least␈α
the␈α
following␈α
areas:␈↓ ↓H
␈↓ ↓H
␈↓ ↓HLanguage␈αdesign␈αand␈αtranslator␈αwriting:␈αThis␈αis␈αbased␈αon␈αmany␈αyears␈αexperience␈αas␈αa␈αprogrammer,␈↓ ↓H
␈↓ ↓Hseveral␈α
years␈α
teaching␈α
translator␈α
writing,␈α
language␈α
implementation,␈α
and␈α
research␈α
in␈αspecification␈αof␈↓ ↓H
␈↓ ↓Hlanguages␈α∂and␈α∂data␈α∂structures,␈α∂and␈α∂finally␈α∂the␈α∂writing␈α∂of␈α∂a␈α∂book␈α∂on␈α∂LISP,␈α∂language␈α∂design,␈α∂and␈↓ ↓H
␈↓ ↓Himplementation␈α
(to␈α
be␈α
published␈α
in␈α
the␈α
McGraw-Hill␈α
series␈α
on␈α
computer␈α
science).␈↓ ↓H
␈↓ ↓H
␈↓ ↓HSystems␈α∂programming:␈α∂Many␈α∂years␈α∂experience␈α∂in␈α∞the␈α∞design,␈α∞implementation,␈α∞and␈α∞maintenance␈α∞of␈↓ ↓H
␈↓ ↓Hoperating␈α
systems␈α
and␈α
time-sharing␈α
systems.␈↓ ↓H
␈↓ ↓H
␈↓ ↓HDisplay-based␈α↔and␈α↔interactive␈α↔programming:␈α↔Based␈α↔on␈α↔the␈α↔design␈α↔and␈α↔use␈α↔of␈α↔sophisticated␈↓ ↓H
␈↓ ↓Hdisplay-based␈αtime␈αsharing␈αsystems,␈αand␈αon␈αrecent␈αresearch␈αinto␈αinteractive␈αprogramming␈αas␈αa␈α
means␈↓ ↓H
␈↓ ↓Hfor␈α
controlling␈α
complexity␈α
and␈α
maintaining␈α
correctness␈α
in␈α
the␈α
construction␈α
on␈α
complex␈α
programs.␈↓ ↓H
␈↓ ↓H
␈↓ ↓HTheory␈α
-␈α
mathematical␈α
semantics,␈α
theorem␈α
proving,␈α
verification,␈αand␈αautomatic␈αprogramming:␈αThis␈↓ ↓H
␈↓ ↓Hincorporates␈αseveral␈αyears␈αresearch␈αin␈αthe␈αpractical␈αas␈αwell␈αas␈αtheoretical␈αaspects␈αof␈αtheorem␈αproving␈↓ ↓H
␈↓ ↓Has␈α⊃a␈α⊃technique␈α⊃to␈α⊃attack␈α⊃problems␈α⊃in␈α⊃computer␈α⊃science␈α⊃as␈α⊃well␈α⊃as␈α⊃mathematics.␈α⊂Recent␈α⊂work␈α⊂in␈↓ ↓H
␈↓ ↓Hattempting␈α∂to␈α∂understand␈α∂how␈α∂to␈α∂construct␈α∂correct␈α∂programs␈α∂has␈α∂involved␈α∂study␈α∂of␈α∂contemporary␈↓ ↓H
␈↓ ↓Hverification␈α
techniques␈α
as␈α
well␈α
as␈α
study␈α
of␈α
mathematical␈α
models␈α
for␈α
programming␈α
languages.␈↓ ↓H
␈↓ ↓H
␈↓ ↓HComputer␈α∪science␈α∪education␈α∪and␈α∪CAI:␈α∪One␈α∪of␈α∪the␈α∪reasons␈α∪for␈α∪careful␈α∪study␈α∪of␈α∪programming␈↓ ↓H
␈↓ ↓Hlanguages␈α⊂and␈α⊂methodology␈α⊂is␈α⊂to␈α⊂improve␈α⊂on␈α⊂the␈α⊂way␈α⊂people␈α⊂approach␈α∂the␈α∂problems␈α∂of␈α∂writing␈↓ ↓H
␈↓ ↓Hprograms.␈α⊂My␈α⊂book␈α⊂reflects␈α⊂many␈α⊂of␈α⊂my␈α⊂thoughts␈α⊂on␈α∂how␈α∂to␈α∂design␈α∂correct␈α∂and␈α∂understandable␈↓ ↓H
␈↓ ↓Hprograms.␈α
What␈α
is␈α
also␈α
needed␈α
are␈α
the␈α
computer-based␈α
tools␈α
to␈α
reinforce␈α
good␈α
pedagogy.␈↓ ↓H
␈↓ ↓H
␈↓ ↓HIf␈α
I␈α
can␈α
supply␈α
further␈α
information␈α
please␈α
contact␈α
me.␈↓ ↓H
␈↓ εW
␈↓ εW
Yours sincerely,␈↓ εW
␈↓ εW
␈↓ εW
␈↓ εW
John R. Allen␈↓ εW
Research Associate␈↓ εW
Computer Science Dept␈↓ εW
Artificial Intelligence Lab␈↓ εW
␈↓ εW
␈↓ ↓H